test: Option controlled mvar instantiation #44

Merged
aniva merged 2 commits from goal/diag into dev 2024-01-17 22:27:44 -08:00

2 Commits

Author SHA1 Message Date
Leni Aniva 79b6974172
Merge branch 'dev' into goal/diag 2024-01-17 14:03:19 -08:00
Leni Aniva efa956464d
test: Option controlled mvar instantiation 2024-01-16 16:44:54 -08:00