search

UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
6 stars 2 forks source link

cram: add test case for local variable redefinition #68

Closed katrinafyi closed 3 months ago

katrinafyi commented 3 months ago

adds test for #43. depends on #67.