Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/misc/_6counter2.lus

View differences:

test/src/kind_fmcad08/misc/_6counter2.lus
1 1
-- a simple 0 to 5 boolean counter (A is LSB, C is MSB)
2 2
-- invalid property is that it should never reach 5 or 7
3 3

  
4
--@ ensures OK;
4 5
node top (x:bool) returns (OK:bool);
5 6
var a,b,c:bool;
6 7
let

Also available in: Unified diff