From 939d2d7b2fd4be9e3496a913818f3401ef6b8605 Mon Sep 17 00:00:00 2001 From: Fabian Vu <Fabian.Vu@hhu.de> Date: Sat, 23 Nov 2024 14:54:38 +0100 Subject: [PATCH] Update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 146bb88c9..6f305f2d9 100644 --- a/README.md +++ b/README.md @@ -605,7 +605,7 @@ In case you want to link the generated files to a website, then your step 3 is a `TrafficLight.mch` and `TrafficLight.json` ```java -jar B2Program-all-0.1.0-SNAPSHOT.jar -l ts -f TrafficLight.mch -v TrafficLight.json -sl https://favu100.github.io/b2program/visualizations/TrafficLight``` for this repository Furthermore, there is another step between step 6 and 7: -- Execute the `.js`-File to link your JavaScript files with your website: `node <compatibility>-compatibility.js``` i.e., `node TrafficLight-compatibility.js` +- Execute the `.js`-File to link your JavaScript files with your website: `node <compatibility>-compatibility.js` i.e., `node TrafficLight-compatibility.js` ## Steps from B Model to Execution of the Generated Code (with primitive types) -- GitLab