Hi, FWIW the test suite appears to pass on NixOS GNU/Linux (“make test” returns 0), though I find the message misleading:
--8<---------------cut here---------------start------------->8--- -------------------------------- total score -------------------------------- good = 298/325 Current score is equal to expected score; everything is fine --8<---------------cut here---------------end--------------->8--- Does that mean that 298 tests passed and the 325 - 298 failed? If so I think it should exit with non-zero. A summary like “X tests run, Y passed, Z failed” would be clearer IMO. Thanks, Ludo’. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
