[m-dev.] List of Bugs to fix??

[Simon Taylor]

> Well, here's a few to get people started.
> This is just the test cases that are currently failing.
> 
> 	zs:
> 		tests/hard_coded/nondet_ctrl_vn
> 
> 	stayl:
> 		tests/hard_coded/cut_test (still not working)
> 

nondet_ctrl_vn.m is a cut down version of cut_test.m - they
both fail due to a bug in value numbering. The old problems
with cut_test.m were compiler aborts which have been fixed.

Simon.