Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

man_or_boy/run.sh


#!/bin/bash

export FUZION="java -Xss120m -Xmx512m -Dfuzion.safety=false -Dfuzion.debugLevel=0 -cp ../../work/build/classes dev.flang.tools.Fuzion"

echo -n `date +"%F_%R:"` >>log.txt

/usr/bin/time -a -olog.txt -f " elapsed/sec %e max_memory/K %M" timeout --preserve-status --signal=15 --kill-after=10860s 10800s $FUZION  man_or_boy

# OpenJDK on valgrind crashes:
#
# valgrind --tool=massif --massif-out-file=massif.out $FUZION HelloWorld; cat massif.out | grep mem_heap_B | sort -t\= -k2,2 | tail -n1