Add Garaga test

[pefontana]

Add a test for Garaba contracts
https://github.com/keep-starknet-strange/garaga/tree/main/src/src/tests

[Gerson2102]

Can this be considered too hard? I have contributed before to the project but just on good first issues.

[pefontana]

Hi @Gerson2102 !
I think it is an easy one!
You also have the alexandria tests in the repo to take as a guide
If you want I can assign you the issue

[Gerson2102]

Yeah, lets see what I can do.

[igaray]

Hey @Gerson2102 ! Just wanted to make sure you are aware we are not (at the moment) participating in OnlyDust hackathons

[edg-l]

I tried this, looks like there is a compilation error, specially with the circuit related libfunc

Steps to reproduce:

# on cairo native
cd cairo_native
cargo b --release --all-features --bin scarb-native-test
cd ..
git clone [email protected]:keep-starknet-strange/garaga.git
cd garaga/src
/abs-path-to/cairo_native/target/release/scarb-native-test

❯ /data2/edgar/work/cairo_native/target/release/scarb-native-test
   Compiling test(garaga_unittest) garaga v0.1.0 (/data2/edgar/work/garaga/src/Scarb.toml)
    Finished `dev` profile target(s) in 22 seconds
testing garaga ...
loc("circuit_add_input(stmt_idx=27295)"("program.sierra":93874:0)): error: 'llvm.extractvalue' op folder produced a value of incorrect type: 'i96', expected: 'i8'
scarb-native-test: /home/edgar/data/llvm-project/mlir/lib/IR/Operation.cpp:624: void checkFoldResultTypes(Operation *, SmallVectorImpl<OpFoldResult> &): Assertion `false && "incorrect fold result type"' failed.
Aborted