Ștefan Talpalaru 9f0c945336 CI: use a release build for the test suite (#278)
* CI: use a release build for the test suite

Makefile: the "testsuite" target is no longer needed

* rename EXTRA_NIM_PARAMS to NIMFLAGS
2019-03-16 18:54:30 -06:00
..
2019-03-13 15:49:54 +02:00
2019-02-05 20:15:50 +01:00
2019-03-13 22:36:54 +01:00
2019-01-16 14:17:26 +02:00
2019-03-13 22:36:54 +01:00
2019-03-13 15:49:54 +02:00
2019-02-05 20:15:50 +01:00
2019-02-05 20:15:50 +01:00
2019-02-23 17:57:53 +02:00
2019-02-06 18:42:03 +01:00
2019-02-23 17:57:53 +02:00
2019-02-05 20:15:50 +01:00
2019-02-15 17:20:51 +02:00
2019-02-05 20:15:50 +01:00
2019-02-15 17:20:51 +02:00
2019-02-05 20:15:50 +01:00
2019-02-06 18:42:03 +01:00
2019-02-05 20:15:50 +01:00

tests

TODO: more GeneralStateTest fixtures!