search

fvutils / pyvsc

Python packages providing a library for Verification Stimulus and Coverage
https://fvutils.github.io/pyvsc
Apache License 2.0
113 stars 26 forks source link

raise Exception("internal error: system should solve") #148

Closed kkmonk closed 2 years ago

kkmonk commented 2 years ago

hi,I just add illegal_instr_ratio=30to gen some illegal_instr in my .S file but it raise Exception image

my yaml cfg is image

my run cmd is python3 run.py --simulator=pyflow --test riscv_rand_instr_test -v i already added solve_fail_debug=1 in my code image

kkmonk commented 2 years ago

Is there any suggestions to solve this problem? ? @mballance @aneels3

kkmonk commented 2 years ago

I changed pyvsc version to 0.6.9.1837466541,and run script in virtualenv. the error changes: image

now any test case can't run well..