removing true nodes from the OrderGraph
[satune.git] / src / Test / logicopstest.c
2017-08-17 bdemskyMerge branch 'hamed'
2017-08-17 bdemskyBig Tabbing Change
2017-07-20 HamedFixing bugs + adding descriptions to test cases
2017-07-19 HamedAdding a logicOp test case + fixing bugs