Disable a strategy generation regression test for now.

prismmodelchecker · May 21, 2019 · 9cc5c4a · 9cc5c4a
1 parent ec60983
commit 9cc5c4a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/prism-tests/bugfixes/stratgenreach.nm → ...-tests/bugfixes/stratgenreach.nm.disabled b/prism-tests/bugfixes/stratgenreach.nm → ...-tests/bugfixes/stratgenreach.nm.disabled