Diffusion Isabelle bc39a468ace6

raise error if benchmarking fails;
bc39a468ace6
Actions

Tags

None

Subscribers

None

Description

raise error if benchmarking fails;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE8fe1ed4b5705: option for benchmark session;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLEbc39a468ace6: raise error if benchmarking fails;.Mar 21 2024, 5:36 PM

Changes (1)

Path

Size

src/

Pure/

Build/

build_benchmark.scala

rISABELLEbc39a468ace6

src/Pure/Build/build_benchmark.scala

Loading...