Daniel Marjamäki
|
3f5a858800
|
dmake: update Makefile
|
2013-05-05 09:22:04 +02:00 |
|
Daniel Marjamäki
|
4e65800adf
|
TestRunner: Updated warning message when there is unsimplified code
|
2013-04-16 16:54:19 +02:00 |
|
Daniel Marjamäki
|
8c6637c79c
|
TestBool: Warn if test case is not simplified properly
|
2013-04-13 18:41:06 +02:00 |
PKEuS
|
8e4f99884b
|
Removed more duplicate unit tests
|
2013-04-13 00:49:00 -07:00 |
|
PKEuS
|
42fcb04d0c
|
Moved checks related to boolean type (not condition checking!) from checkother into new file
|
2013-04-10 09:25:50 -07:00 |