Repository navigation

Home

Jump to bottom Edit New page

Aggelos Giantsios edited this page May 15, 2021 · 8 revisions

Welcome to the CutEr wiki!

Developer's Guide

This section is intended to help developers.

Debugging

Some small tips

You can run a specific functional test using its cardinal number. For example, you can run the 3rd test with
```
make ftest no=3
```

Debug Traces:

Solving constraints offline