Support Checking for Negative Domain

src/check.rs

@@ -16,7 +16,7 @@
 #[derive(Error, Debug)]
 enum CheckingError {
     #[error("columns for {} not found in trace file", .0.pretty())]
     NoColumnsFound(Handle),
     #[error("")]
     FailingConstraint(Handle, String),
     #[error("")]
@@ -193,7 +193,6 @@
                 .collect(),
         )
     }
-
     let mut trace = String::new();
     for ii in 0..m_columns[0].len() {
         for (j, col) in m_columns.iter().enumerate() {
@@ -218,7 +217,6 @@
         trace.push('\n');
     }
     trace.push('\n');
-
     bail!(
         trace
             + &expr.debug(
@@ -299,7 +297,16 @@
     match domain {
         Some(is) => {
             for i in is.iter() {
-                check_constraint_at(cs, expr, i, true, true, &mut cache, settings)?;
+                let err = check_constraint_at(cs, expr, i, true, true, &mut cache, settings)
+                    .map_err(|e| CheckingError::FailingConstraint(name.clone(), e.to_string()));
+
+                if err.is_err() {
+                    if settings.continue_on_error {
+                        eprintln!("{:?}", err);
+                    } else {
+                        bail!(err.err().unwrap());
+                    }
+                }
             }
         }
         None => {

src/column.rs

@@ -645,10 +645,11 @@ impl ValueBacking {
                 if i < 0 {
                     if wrap {
                         let new_i = v.len() as isize + i;
-                        if new_i < 0 || new_i >= v.len() as isize {
-                            panic!("abnormal wrapping value {}", new_i)
+                        if new_i < 0 {
+                            Some(v.get(0).unwrap())
+                        } else {
+                            v.get(new_i as usize)
                         }
-                        v.get((v.len() as isize + i) as usize)
                     } else if i < -spilling {
                         Some(v.get(0).unwrap())
                     } else {