import common.JsonThriftSerializationUtil;
import java.lang.System;
import org.junit.Test;
import PBFT.*;
import static org.junit.Assert.*;
public class JsonThriftSerializationUtilTest {
@Test
public void testOperationDeserialization() {
}
}