feat: refactoring

parser/src/ast/random_values.rs

@@ -30,7 +30,7 @@ use super::Identifier;
 ///
 /// created [RandomValues] instance will look like
 ///
-/// `RandomValues{name: "rand", size: 2, bindings: [RandBinding{name: "a", size: 1}, RandBinding{name: "b", size: 12}]}`
+/// `RandomValues{name: "rand", size: 13, bindings: [RandBinding{name: "a", size: 1}, RandBinding{name: "b", size: 12}]}`
 #[derive(Debug, Eq, PartialEq, Clone)]
 pub struct RandomValues {
     name: Identifier,
@@ -61,7 +61,8 @@ impl RandomValues {
     }
 }
 
-/// Declaration of a random value used in [RandomValues]. It is represented by a named identifier and its size.
+/// Declaration of a random value binding used in [RandomValues]. It is represented by a named
+/// identifier and its size.
 #[derive(Debug, Eq, PartialEq, Clone)]
 pub struct RandBinding {
     name: Identifier,

parser/src/error.rs

@@ -8,11 +8,11 @@ pub enum Error {
 
 #[derive(Clone, Debug, Eq, PartialEq)]
 pub enum ParseError {
-    InvalidInt(String),
-    InvalidTraceCols(String),
     InvalidConst(String),
+    InvalidInt(String),
     InvalidRandomValues(String),
-    MissingMainTraceCols(String),
+    InvalidTraceCols(String),
     MissingBoundaryConstraint(String),
     MissingIntegrityConstraint(String),
+    MissingMainTraceCols(String),
 }

parser/src/parser/grammar.lalrpop

@@ -146,7 +146,6 @@ RandValuesDecl: RandomValues = {
         }
     ),
     <name: Identifier> ":" "[" <rand_vec: CommaElems<RandElem>> "]" => RandomValues::new(name, rand_vec.iter().map(|v| v.size()).sum(), rand_vec)
-
 }
 
 RandElem: RandBinding = {

parser/src/parser/tests/random_values.rs

@@ -57,7 +57,7 @@ fn random_values_ident_vector_custom_name() {
 fn random_values_empty_list_error() {
     let source = "
     random_values:
-        rand: []";
+        rand: [ ]";
     let error = Error::ParseError(ParseError::InvalidRandomValues(
         "Random Values section cannot be empty".to_string(),
     ));