Commit 6ac288e0 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Parse SDL with C target to get proper EnumID values

parent a5629bc6
......@@ -20,6 +20,7 @@
"""
import os
import sys
import ctypes
import random
from functools import partial
......@@ -116,7 +117,11 @@ class sdlHandler(QObject):
pr_files.append(each)
if not pr_files:
raise IOError('SDL Handler failed to initialize')
# Parse the SDL model - use an ASN.1 AST compatible with C types,
# as this is needed to access DV.enumeratedConstants in random simu
sys.argv.append('--toC')
self.ast = opengeode.parse(pr_files)
sys.argv.pop()
try:
root_ast = self.ast[0]
self.proc = root_ast.processes[0]
......@@ -597,7 +602,7 @@ class sdlHandler(QObject):
self.click_tc(random_tc, arg)
# Send a message every 100 ms.. Should be configurable
QTimer().singleShot(100, self.random_step)
QTimer().singleShot(1000, self.random_step)
def exhaustive_simulation(self):
''' Model checker - try all combinations of all inputs in all
......
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