Commit 7450fb64 authored by Etienne Renault's avatar Etienne Renault
Browse files

Modernize binary in output

* benchs/run-benchmark.sh,
boilerplate/Makefile,
boilerplate/main.go: Here.
parent 152a00a4
......@@ -54,7 +54,7 @@ for model in $FILES; do
echo " - Total Time:\t\t\t$total_time seconds"
final_num_var=$($filename/main --displaylist | grep '\-' | wc -l)
final_num_var=$($filename/main --list-variables | grep '\-' | wc -l)
echo " - Number of variables:\t\t$final_num_var"
loc2=$(wc -l $filename/$filename.go| tail -n1|awk '{print $1}')
......
......@@ -14,7 +14,7 @@ endif
all: main.dve2C main
main:
env CGO_LDFLAGS=-no-pie go build -o main *.go
env CGO_LDFLAGS=-no-pie go build -o go2pins-mc *.go
main.dve2C: libgo2pins.a
go build -o $@ -buildmode=c-shared
......
......@@ -325,8 +325,8 @@ func get_guard_nds_matrix(g C.int) *C.int {
// ------------------------------------------------------------
var (
display = flag.Bool("displaylist", false, "Display the list of variable names.")
help = flag.Bool("help", false, "Show usages.")
list_var = flag.Bool("list-variables", false, "Display the list of variable names.")
help = flag.Bool("help", false, "Show usages.")
)
func init() {
......@@ -342,7 +342,7 @@ func main() {
flag.Usage()
os.Exit(1)
}
if *display {
if *list_var {
fmt.Println("State size:", G2PStateSize)
fmt.Println("List of variable names:")
for i := 0; i < G2PStateSize; i++ {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment