warp icon indicating copy to clipboard operation
warp copied to clipboard

Add Siera→CASM stage to compilation tests

Open temyurchenko opened this issue 2 years ago • 0 comments

Background

At the moment we have several test-suites. Compilation tests check that transpiled files compile from Cairo to Sierra as expected. Behavioural tests check that compiled and deployed contracts behave as expected. Compilation tests are simpler to create and faster to run, but behavioural tests are more comprehensive.

Problem

Compilation tests are not quite as useful as they can be. The way we do it know, some (I assume a non-trivial amount) of errors slip through. For example, our tests report successful compilation of absolutely any address literal, even if it doesn't fit the allowed range. Only the next, Sierra→CASM stage reports such an error.

Solution

Check Sierra→CASM compilation stage in compilation tests as well.

temyurchenko avatar May 19 '23 13:05 temyurchenko