Testing flspec_test ... FAILED
Message: will run ./flspec_test for no longer than 600 seconds.
./flspec_test: 45: flspec: not found
Error while running ./flspec_test
ERROR: one of the tests failed
