mirror of
https://gitlab.com/pulsechaincom/erigon-pulse.git
synced 2024-12-22 19:50:36 +00:00
f210116e65
* Just files * Fix lint * First attempt at linking * More semantics * Add more arguments * Added z3 dependency * Added integration with z3 * Try to fix build * Add m library * Try to fix ints * Separate init/destroy, create sorts
20 lines
362 B
Go
20 lines
362 B
Go
package semantics
|
|
|
|
import (
|
|
"fmt"
|
|
"testing"
|
|
)
|
|
|
|
func TestSemantics(t *testing.T) {
|
|
var stateRoot [32]byte
|
|
var fromAddr [20]byte
|
|
var toAddr [20]byte
|
|
var value [16]byte
|
|
result := Initialise(stateRoot, fromAddr, toAddr, false, value, []byte{}, 1, 100)
|
|
if result != 0 {
|
|
t.Errorf("Could not initialise: %d", result)
|
|
}
|
|
fmt.Printf("Got it1!\n")
|
|
Cleanup()
|
|
}
|