From cec5b3f41ebaf34aafcf43664afccb6c9ca9d16e Mon Sep 17 00:00:00 2001 From: Thomas Badie Date: Wed, 6 Jun 2012 15:51:28 +0200 Subject: [PATCH] * bench/ltlclasses/README: Fix a typo. --- bench/ltlclasses/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/ltlclasses/README b/bench/ltlclasses/README index 9a1cd5e5d..cb20c0e16 100644 --- a/bench/ltlclasses/README +++ b/bench/ltlclasses/README @@ -1,7 +1,7 @@ This benchmark plots the performance of the ltl2tgba_fm algorithm -for tanslating some classes of LTL formula. +for translating some classes of LTL formula. -Execute "./run" to compute the raw numbers, then execture +Execute "./run" to compute the raw numbers, then execute "gnuplot plot.gnu" to plot the figures. The authors of the following paper defined 5 classes of LTL formulae