From 86957ab86e822262cce3bcb81f6c3e3cbaf907e6 Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Wed, 11 Jan 2023 15:05:33 +0100
Subject: Add documentation

---
 param.ccl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'param.ccl')

diff --git a/param.ccl b/param.ccl
index 3c65ef4..5e70614 100644
--- a/param.ccl
+++ b/param.ccl
@@ -18,20 +18,20 @@ EXTENDS KEYWORD initial_shift
 RESTRICTED:
 STRING load_data_exe ""
 {
-    "" :: ""
+    "" :: "Path to the binary that will provide that data"
 } ""
 
 STRING simdata_path ""
 {
-    "" :: ""
+    "" :: "Path to stored simulation data"
 } ""
 
 REAL load_time ""
 {
-    : :: ""
+    : :: "Simulation time at which to restore the data"
 } 0.0
 
 INT load_iteration ""
 {
-    : :: ""
+    : :: "Simulation iteration at which to restore the data"
 } -1
-- 
cgit v1.2.3