Remove junk in the .toml-files

sarsko · Dec 23, 2022 · b2646ef · b2646ef
1 parent 10f45dc
commit b2646ef
Show file tree

Hide file tree

Showing 8 changed files with 15 additions and 108 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -18,3 +18,14 @@ opt-level = 3
 panic = "abort"
 incremental = false
 rpath = false
+
+[profile.bench]
+debug = false
+lto = true
+opt-level = 3
+
+[profile.test]
+debug = false
+lto = true
+opt-level = 3
+
diff --git a/CreuSAT/Cargo.toml b/CreuSAT/Cargo.toml
@@ -4,24 +4,6 @@ version = "0.1.0"
 authors = ["Sarek Høverstad Skotåm <sarek.skotam@gmail.com>"]
 edition = "2021"
 
-[toolchain]
-channel = "nightly-2022-11-25"
-
-[profile.bench]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.test]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.release]
-debug = false
-lto = true
-opt-level = 3
-
 [dependencies]
 #clap = "4.0.18"
 clap = "2.33.3"

diff --git a/Friday/Cargo.toml b/Friday/Cargo.toml
@@ -4,23 +4,6 @@ version = "0.1.0"
 authors = ["Sarek Høverstad Skotåm <sarek.skotam@gmail.com>"]
 edition = "2021"
 
-[toolchain]
-channel = "nightly-2022-11-25"
-
-[profile.bench]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.test]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.release]
-debug = false
-lto = true
-opt-level = 3
 
 [dependencies]
 #clap = "2.33.3"

diff --git a/JigSAT/Cargo.toml b/JigSAT/Cargo.toml
@@ -4,42 +4,6 @@ version = "0.1.0"
 authors = ["Sarek Høverstad Skotåm <sarek.skotam@gmail.com>"]
 edition = "2021"
 
-[toolchain]
-channel = "nightly-2022-11-25"
-
-[profile.bench]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.test]
-#debug = false
-#lto = true
-#opt-level = 3
-
-debug = false
-#split-debuginfo = ?
-debug-assertions = false
-overflow-checks = false
-lto = "fat"
-codegen-units = 1
-opt-level = 3
-panic = "abort"
-incremental = false
-rpath = false
-
-[profile.release]
-debug = false
-#split-debuginfo = ?
-debug-assertions = false
-overflow-checks = false
-lto = "fat"
-codegen-units = 1
-opt-level = 3
-panic = "abort"
-incremental = false
-rpath = false
-
 [dependencies]
 clap = "2.33.3"
 log = "0.4"

diff --git a/Robinson/Cargo.toml b/Robinson/Cargo.toml
@@ -4,24 +4,6 @@ version = "0.1.0"
 authors = ["Sarek Høverstad Skotåm <sarek.skotam@gmail.com>"]
 edition = "2021"
 
-[toolchain]
-channel = "nightly-2022-11-25"
-
-[profile.bench]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.test]
-debug = false
-lto = true
-opt-level = 3
-
-[profile.release]
-debug = false
-lto = true
-opt-level = 3
-
 [dependencies]
 clap = "2.33.3"
 creusot-contracts = { git = "https://github.com/xldenis/creusot", version = "^0", rev = "2cf7870"  }

diff --git a/Robinson/src/lib.rs b/Robinson/src/lib.rs
@@ -1,4 +1,5 @@
 #![feature(type_ascription)]
+#![allow(non_snake_case)]
 #![cfg_attr(not(feature = "contracts"), feature(stmt_expr_attributes, proc_macro_hygiene))]
 #![allow(unused)]
 extern crate creusot_contracts;

diff --git a/tests/Cargo.toml b/tests/Cargo.toml
@@ -1,25 +1,10 @@
 [package]
 name = "CreuSAT_test"
 version = "0.1.0"
-authors = ["Sarek Høverstad Skotåm <sarekhs@uio.no>"]
+authors = ["Sarek Høverstad Skotåm <sarek.skotam@gmail.com>"]
 edition = "2021"
 include = ["*"]
 
-[toolchain]
-channel = "nightly-2022-05-14"
-
-[profile.release]
-debug = false
-#split-debuginfo = ?
-debug-assertions = false
-overflow-checks = false
-lto = "fat"
-codegen-units = 1
-opt-level = 3
-panic = "abort"
-incremental = false
-rpath = false
-
 [dependencies]
 CreuSAT = { path = "../CreuSAT" }
 JigSAT = { path = "../JigSAT" }

diff --git a/tests/src/lib.rs b/tests/src/lib.rs
@@ -1,6 +1,5 @@
-use std::fs::read_dir;
-use std::io::Write;
-use std::time::Instant;
+#![allow(non_snake_case)]
+use std::{fs::read_dir, io::Write, time::Instant};
 use termcolor::*;
 
 extern crate JigSAT;