time-to-botec

Benchmark sampling in different programming languages
Log | Files | Refs | README

makefile (103B)


      1 SHELL := /bin/bash
      2 
      3 run:
      4 	ghbc -l squiggle.bc estimate.bc
      5 
      6 time:
      7 	time ghbc -l squiggle.bc estimate.bc