Fix lints

Author: GBathie

src/ltl/trace.rs

@@ -110,7 +110,7 @@ fn vec_to_cs(v: &Vec<String>) -> CharSeq {
 }
 
 impl ParsedTrace {
-    pub fn traces_vec_from_alphabet(&self, alphabet: &Vec<String>) -> Option<Trace> {
+    pub fn traces_vec_from_alphabet(&self, alphabet: &[String]) -> Option<Trace> {
         let char_seqs: Option<Vec<CharSeq>> = alphabet
             .iter()
             .map(|s| self.alphabet.get(s).map(vec_to_cs))

src/ops/unary.rs

@@ -87,9 +87,10 @@ mod test {
     use super::*;
 
     #[test]
-    fn string_try_into_binary_op() {
+    fn string_try_into_unary_op() {
         let parsed = "X".try_into();
         assert_eq!(parsed, Ok(LtlUnaryOp::WeakNext));
+
         let parsed = "X[!]".try_into();
         assert_eq!(parsed, Ok(LtlUnaryOp::StrongNext));