I wrote a brain-dead deterministic PNR tool, called 'serpent', and added a suite of tests to the makefile to verify it on check-in. Basically, it's the same set of tests as before, except that it is done once with the official SMT-PNR and once with serpent. Also, moved all the tests from travis script to makefile and modularized them a bit, and cleaned up the test summary, see end of e.g. Build 1030 for latest test output...
I wrote a brain-dead deterministic PNR tool, called 'serpent', and added a suite of tests to the makefile to verify it on check-in. Basically, it's the same set of tests as before, except that it is done once with the official SMT-PNR and once with serpent. Also, moved all the tests from travis script to makefile and modularized them a bit, and cleaned up the test summary, see end of e.g. Build 1030 for latest test output...
https://travis-ci.org/StanfordAHA/CGRAFlow/builds/309643556