We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c600c64 commit 1ae8903Copy full SHA for 1ae8903
1 file changed
umbtest/tools.py
@@ -319,8 +319,8 @@ def umb_to_umb(
319
):
320
import umbi
321
322
- ast = umbi.read_umb(input_file)
323
- umbi.write_umb(ast, output_file)
+ ast = umbi.io.read_umb(input_file)
+ umbi.io.write_umb(ast, output_file)
324
reported_results = ReportedResults()
325
reported_results.model_info = {
326
"states": ast.index.transition_system.num_states,
0 commit comments