Test suite to check semantics of bytecodes?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Test suite to check semantics of bytecodes?

Stefan Marr-3

Hi:

I checked the VMMaker repository to find whether there are any tests for instance to check the semantics of bytecodes with regard to stack modification etc.

Looks like I broke some of the more exotic bytecodes/primitives like super sends etc in my VM.

Is there anything like such a test suite lying around somewhere?
Or are the appropriately trivial tests, benchmarks, or similar that exercise the bytecode set with a full coverage?


Thanks
Stefan


--
Stefan Marr
Software Languages Lab
Vrije Universiteit Brussel
Pleinlaan 2 / B-1050 Brussels / Belgium
http://soft.vub.ac.be/~smarr
Phone: +32 2 629 2974
Fax:   +32 2 629 3525

Reply | Threaded
Open this post in threaded view
|

Re: Test suite to check semantics of bytecodes?

David T. Lewis
 
On Sun, Apr 01, 2012 at 01:00:47PM +0200, Stefan Marr wrote:

>
> Hi:
>
> I checked the VMMaker repository to find whether there are any tests for instance to check the semantics of bytecodes with regard to stack modification etc.
>
> Looks like I broke some of the more exotic bytecodes/primitives like super sends etc in my VM.
>
> Is there anything like such a test suite lying around somewhere?
> Or are the appropriately trivial tests, benchmarks, or similar that exercise the bytecode set with a full coverage?
>

I am not aware of any such test suite.

Dave