Commit c9843701 authored by Jaime Arias's avatar Jaime Arias
Browse files

Add a test case

parent 1bae1081
......@@ -5,4 +5,5 @@
TEST_CASE("Parsing simple file", "[Simple]") {
net model("ring2.net", "Obs2_ring");
REQUIRE(model.nbPlace() == 16);
REQUIRE(model.nbTransition() == 16);
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment