release v0.1.0

Barnard-PL-Labs · Jan 3, 2021 · 0503ead · 0503ead
1 parent 27b13b5
commit 0503ead
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/public/client.js b/public/client.js
@@ -23,9 +23,11 @@ const htmlLoad = `
 `
 
 const initially= `
-initially guarantee{
+initially guarantee {
     [amSynthesis <- False()];
+    [fmSynthesis <- False()];
     [waveform <- sine()];
+    [lfo <- False()];
 }
 `
 
@@ -110,7 +112,7 @@ function getSpecFromDOM(){
 
     // FIXME
     if(predicateList.length > 1){
-        let assumeClause = "always assume{\n\t";
+        let assumeClause = "always assume {\n\t";
         for(let i=0; i<predicateList.length; i++){
             const predicate = predicateList[i];
             assumeClause += "!(" + predicate +") || ";