search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
354 stars 72 forks source link

PIL: Test runner #1324

Open chriseth opened 2 months ago

chriseth commented 2 months ago

Implement a simple test runner:

If invoked on a .asm file, compile the file (maybe do not optimize it so that unused functions are not removed) and then execute every single function that resides in a (potentially nested) namespace called test.

Maybe limit this to functions starting with the test_ prefix and assert that they have the type -> ()?

leonardoalt commented 2 months ago

I think @georgwiese wrote something like this this week?

georgwiese commented 2 months ago

No, I just manually called the test functions one-by-one.