summaryrefslogtreecommitdiff
path: root/tests/lean
diff options
context:
space:
mode:
authorSon Ho2023-12-13 10:55:57 +0100
committerSon Ho2023-12-13 10:55:57 +0100
commit496a3849d1d6ba880bbd1e86c8ef5e2257bb702a (patch)
treed2c0232c89843400fe7882b0e941f44bff8f10bf /tests/lean
parent22009543d86895b9f680d3a4abdea00302ad5f1e (diff)
Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig
Diffstat (limited to 'tests/lean')
0 files changed, 0 insertions, 0 deletions