test: increase the test coverage

Author: ven-k

test/Electrical/digital.jl

@@ -2,13 +2,13 @@ using ModelingToolkitStandardLibrary.Electrical, ModelingToolkit, OrdinaryDiffEq
 using ModelingToolkitStandardLibrary.Electrical: _and, _or, _not, _xor
 using ModelingToolkitStandardLibrary.Electrical: U, X, F0, F1, Z, W, L, H, DC
 using ModelingToolkitStandardLibrary.Electrical: AndTable, OrTable, NotTable, XorTable
-using ModelingToolkitStandardLibrary.Electrical: convert_to_logic, get_logic_level
+using ModelingToolkitStandardLibrary.Electrical: get_logic_level
 # using ModelingToolkitStandardLibrary.Electrical: Set, Reset
 
 @testset "Logic, logic-vectors and helpers" begin
     # Logic and helper functions
     @test length(instances(Logic)) == 9
-    @test convert_to_logic.([1, 0]) |> typeof == Vector{Logic}
+    @test convert.(Logic, [1, 0]) |> typeof == Vector{Logic}
     @test get_logic_level(Z) == 5
 
     # Logic zeros and ones
@@ -33,18 +33,27 @@ using ModelingToolkitStandardLibrary.Electrical: convert_to_logic, get_logic_lev
     @test X01.logic == [X, F0, F1]
     @test X01Z.logic == [X, F0, F1, Z]
 
+    # Logic vector helpers
+    logic_vector = [U F0
+                    F1 X]
+    size(logic_vector) == (2, 2)
+    axes(logic_vector) == (Base.OneTo(2), Base.OneTo(2))
+    getindex(logic_vector, 1, 1) == U
+
     # Logic helper functions
     @test get_logic_level.([U, X, F0, F1, Z, W, L, H, DC]) == 1:9
-    @test convert_to_logic.([1, 0, U]) == [F1, F0, U]
+    @test convert.(Logic, [1, 0, U]) == [F1, F0, U]
+    @test_throws "3 isn't a valid `Logic` value" convert(Logic, 3)
 end
+
 @testset "Logic tables and logic gate helpers" begin
     # logic tables and logic gate helpers
     @test size(AndTable) == size(OrTable) == size(XorTable) == (9, 9)
     @test size(NotTable) == (9,)
 
-    @test _and(1, 1, 1, 1, 1, 0) == F0
-    @test _or(0, 1, 1, 1) == F1
-    @test _xor(0, 1, 1, 1, 1, 1) == F1
+    @test _and(1, 1, U, W, 1, 0) == F0
+    @test _or(0, U, 1, 1) == F1
+    @test _xor(0, 1, U, U, 1, 1) == U
     @test _not(1) == F0
 
     A = [U, W, Z, F1, F0]